Avant-propos des traducteurs

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Profil épidémiologique des uvéites: à propos de 105 cas

Résumé La difficulté du diagnostic des uvéites réside dans la multiplicité des étiologies. La détermination des facteurs épidémiologiques des uvéites permettent une meilleure orientation diagnostique et facilitent leur prise en charge thérapeutique. C’une étude rétrospective s’étalant sur 4 ans de janvier 2012 à décembre 2015. Nous avons colligé 105 dossiers d’uvéite et étudié les aspects épidé...

A propos des objets caractérisés par une propriété universelle

Le but de ce texte est de d etailler la mani ere d'utiliser les objets caract eris es par ce que l'on appelle une propri et e universelle ; vous en avez rencontr e sans doute essentiellement en alg ebre (quotients divers, alg ebres de polynômes...) et en topologie (compl et e d'un espace m etrique, espace topologique quotient...). Pour bien les comprendre, et eviter de se laisser noyer dans la ...

Carcinome adénoïde kystique des paupières: à propos d'un cas

Il s'agit d'une femme âgée de 68 ans, sans antécédents particuliers, présentant une tuméfaction de la paupière supérieure droite (A) remontant à plus d'un an et dont la biopsie avait objectivé un carcinome ; la patiente a été reprise un mois après pour résection complète de la tumeur (B, C) et l'examen histopathologique a conclut à un carcinome adénoïde kystique (D) probablement sur adénome plé...